#include <gtk/gtk.h>   
#include <gst/gst.h>   
#include <signal.h>   
#include <string.h>   
#include <gst/interfaces/xoverlay.h>
#include <gdk/gdkx.h>
#ifndef _GIF_PLAYER_H_
#define _GIF_PLAYER_H_
int gif_player_read_filelist();
void play_gif_player(GtkWidget *table);
#endif
